منابع مشابه
Partial proof of Graham Higman's conjecture related to coset diagrams
Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...
متن کاملAn elementary proof of the reconstruction conjecture
The reconstruction conjecture states that the multiset of vertex-deleted subgraphs of a graph determines the graph, provided it has at least 3 vertices. This problem was independently introduced by Stanis law Ulam (1960) and Paul Kelly (1957). In this paper, we prove the conjecture by elementary methods. It is only necessary to integrate the Lenkle potential of the Broglington manifold over the...
متن کاملProgram Synthesis from Axiomatic Proof of Correctness
We axiomatically prove statements of the form: program PROG meets specification SPEC. We derive 7 axioms from the definition of the PHP programming language in which the programs are to be written. For each primitive function or process described, we write a program that uses only that feature (function or process), and we have an axiom that this program meets the specification described. Gener...
متن کاملA Proof of Feigin’s Conjecture
Ext ∞ 2 +• A (C, ·) was given. The setup for the definition of semiinfinite cohomology of an algebra A includes two subalgebras B,N ⊂ A and the triangular decomposition of A, i. e. the vector space isomorphism B⊗N−̃→A provided by the multiplication in A. Fix root data (Y,X, . . . ) of the finite type (I, ·) and a positive integer number l. The small quantum group ul with the standard triangular ...
متن کاملVoevodsky’s Proof of Milnor’s Conjecture
We give an overview of Voevodsky’s recent proof of Milnor’s conjecture on the mod 2 Galois cohomology of fields of characteristic 6= 2.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1979
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1979-0545605-1